12

Model checking aircraft controller software: a case study

Year:
2015
Language:
english
File:
PDF, 2.78 MB
english, 2015
18

Additive perturbed generalized Mandelbrot–Julia sets

Year:
2007
Language:
english
File:
PDF, 564 KB
english, 2007